Synthesizing configuration file specifications with association rule learning

Configuration File Manipulation with Configuration Management Tools

Manipulating and defining content of configuration files is one of the central tasks of configuration management tools. This is important to ensure a desired and correct behavior of computer systems. However, often considered very simple, this task can turn out to be very challenging. Configuration management tools provide different strategies for content manipulation of files, hence an adminis...

Synthesizing Customized Planners from Specifications

Existing plan synthesis approaches in artiicial intelligence fall into two categories { domain independent and domain dependent. The domain independent approaches are applicable across a variety of domains, but may not be very eecient in any one given domain. The domain dependent approaches need to be (re)designed for each domain separately, but can be very eecient in the domain for which they ...

Learning Business Rules with Association Rule Classifiers

The main obstacles for a straightforward use of association rules as candidate business rules are the excessive number of rules discovered even on small datasets, and the fact that contradicting rules are generated. This paper shows that Association Rule Classification algorithms, such as CBA, solve both these problems, and provides a practical guide on using discovered rules in the Drools BRMS...

Auto-configuration by File Construction: Configuration Management with newfig

A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: boolean logic for making decisions and file construction for generating the files. Newfig relies heavily on external scripts for anything beyond the construction of files. This simple yet powerful design provides a mecha...

Synthesizing Communication Processors from Timing Diagram Specifications